Bounds and algebraic algorithms in differential algebra: the ordinary case
نویسندگان
چکیده
Consider the Rosenfeld-Groebner algorithm for computing a regular decomposition of a radical differential ideal. We propose a bound on the orders of derivatives occurring in all intermediate and final systems computed by this algorithm. We also reduce the problem of conversion of a regular decomposition of a radical differential ideal from one ranking to another to a purely algebraic problem.
منابع مشابه
Bounds and algebraic algorithms in differential algebra : the ordinary case ? ( extended abstract )
Consider the Rosenfeld-Groebner algorithm for computing a regular decomposition of a radical differential ideal generated by a set of ordinary differential polynomials. This algorithm inputs a system of differential polynomials and a ranking on derivatives and constructs finitely many regular systems equivalent to the original one. The property of regularity allows to check consistency of the s...
متن کاملDerivations of the Algebra of Sections of Superalgebra Bundles
In this paper we review the concepts of the superalgebra, superderivation and some properties of them. We will define algebraic and differential superderivations on a superalgebra and will prove some theorems about them, Then we consider a superalgebra bundle, that is an algebra bundle which its fibers are superalgebras and then characterize the superderivations of the algebra of sections of th...
متن کاملEffective differential Nullstellensatz for ordinary DAE systems with constant coefficients
We give upper bounds for the differential Nullstellensatz in the case of ordinary systems of differential algebraic equations over the field of complex numbers. Let x be a set of n differential variables, f a finite family of differential polynomials in the ring C{x} and f ∈ C{x} another polynomial which vanishes at every solution of the differential equation system f = 0 in any differentially ...
متن کاملA Skew Polynomial Approach to Integro - Differential Operators Georg
We construct the algebra of integro-differential operators over an ordinary integro-differential algebra directly in terms of normal forms. In the case of polynomial coefficients, we use skew polynomials for defining the integro-differential Weyl algebra as a natural extension of the classical Weyl algebra in one variable. Its normal forms, algebraic properties and its relation to the localizat...
متن کاملPolynomial and Rational Solutions of Holonomic Systems
Polynomial and rational solutions for linear ordinary differential equations can be obtained by algorithmic methods. For instance, the maple package DEtools provides efficient functions polysols and ratsols to find polynomial and rational solutions for a given linear ordinary differential equation with rational function coefficients. A natural analogue of the notion of linear ordinary different...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006